load("@rules_java//java:defs.bzl", "java_library")

package(default_visibility = ["//visibility:public"])

java_library(
    name = "javabdd",
    srcs = glob([
        "**/*.java",
    ]),
    deps = [
        "@maven//:com_carrotsearch_hppc",
        "@maven//:com_google_code_findbugs_jsr305",
        "@maven//:com_google_guava_guava",
        "@maven//:org_apache_logging_log4j_log4j_api",
    ],
)
